Discovering, Quantifying, and Displaying Attacks
نویسندگان
چکیده
منابع مشابه
Discovering, quantifying, and displaying attacks
In the design of software and cyber-physical systems, security is often perceived as a qualitative need, but can only be attained quantitatively. Especially when distributed components are involved, it is hard to predict and confront all possible attacks. A main challenge in the development of complex systems is therefore to discover attacks, quantify them to comprehend their likelihood, and co...
متن کاملDetecting and displaying novel computer attacks with Macroscope
Opinions, interpretations, conclusions, and recommendations are those of the authors and are not necessarily endorsed by the United States Air Force. Abstract-Macroscope is a network-based intrusion detection system that uses Bottleneck Verification to detect user-to-superuser attacks. Bottleneck Verification (BV) detects novel computer attacks by looking for users performing high privilege ope...
متن کاملQuantifying Shannon's Work Function for Cryptanalytic Attacks
Attacks on cryptographic systems are limited by the available computational resources. A theoretical understanding of these resource limitations is needed to evaluate the security of cryptographic primitives and procedures. This study uses an Attacker versus Environment game formalism based on computability logic to quantify Shannon’s work function and evaluate resource use in cryptanalysis. A ...
متن کاملDiscovering and quantifying nontrivial fixed points in multi-field models
We use the functional renormalization group and the [Formula: see text]-expansion concertedly to explore multicritical universality classes for coupled [Formula: see text] vector-field models in three Euclidean dimensions. Exploiting the complementary strengths of these two methods we show how to make progress in theories with large numbers of interactions, and a large number of possible symmet...
متن کاملDiscovering and Quantifying Mean Streets: A Summary of Results
Mean streets represent those connected subsets of a spatial network whose attribute values are significantly higher than expected. Discovering and quantifyingmean streets is an important problem with many applications such as detecting high-crime-density streets and high crash roads (or areas) for public safety, detecting urban cancer disease clusters for public health, detecting human activity...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2017
ISSN: 1860-5974
DOI: 10.2168/lmcs-12(4:5)2016